机译:Sidif:空间信息数据库集成框架
机译:集成正式规范,审查和测试以增强软件可靠性的框架
机译:关于规范的透明度:形成一种用于有限自动机中的离散事件控制规范的设计师可理解性的正式框架
机译:SIDIF:空间信息数据库集成框架的基于位置的技术
机译:用于模糊空间数据的数据模型的设计,实现和数据库集成,是下一代空间数据库和地理信息系统的基础。
机译:用于MyCodiversity数据库的Fungal Metabarding数据集成框架(MDDB)
机译:一个正式的框架,用于在基于TEFSM的系统规范中集成定时安全规则